Properties of Logarithms


return
return PCTC